- эффективно вычислимая функция
- Mathematics: effectively calculable function (effectively computable)
Универсальный русско-английский словарь. Академик.ру. 2011.
Универсальный русско-английский словарь. Академик.ру. 2011.
ВЫЧИСЛИМАЯ ФУНКЦИЯ — функция, вычисление значений к рой может быть проведено с помощью заранее заданной эффективной процедуры, или алгоритма. Характерная черта вычислительных процессов вычисление искомых величин задач происходит последовательно из данных исходных… … Математическая энциклопедия
ЧЁРЧ — (Church) Алонзо (р. 14.6.1903, Вашингтон), амер. логик и математик. Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул осн. гипотезу теории вычислимых… … Философская энциклопедия
Чёрч Алонзо — Чёрч (Church) Алонзо (р 14.6.1903, Вашингтон), американский логик, математик. Профессор Принстонского университета (1947‒1967). С 1967 профессор математики и философии Калифорнийского университета (Лос Анджелес). Работы Ч. относятся к различным… … Большая советская энциклопедия
Чёрч — (Church) Алонзо (р 14.6.1903, Вашингтон), американский логик, математик. Профессор Принстонского университета (1947 1967). С 1967 профессор математики и философии Калифорнийского университета (Лос Анджелес). Работы Ч. относятся к… … Большая советская энциклопедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
СИНТЕЗА ЗАДАЧИ — совокупность задач, концентрирующихся вокруг проблемы построения управляющей системы (у. с.), имеющей предписанное функционирование. У. с. строится из элементов, к рые обычно сами являются простыми у. с. При синтезе заранее заданы состав… … Математическая энциклопедия
ПЛАТО МНОГОМЕРНАЯ ЗАДАЧА — термин, обозначающий серию задач, связанных с изучением экстремалей и глобальных минимумов функционала k мерного объема , определенного на k мерных обобщенных поверхностях, вложенных в n мерное риманово пространство М п и удовлетворяющих тем или… … Математическая энциклопедия
Алгоритмическая разрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если … Википедия